Solver
		MiniSat++	kw_aig	NFLSAT
		(64bit)	(64bit)	(64bit)
		Niklas Sörensson	Johan Alfredsson	Himanshu Jain
Instance	SAT / UNSAT	Sweden	Sweden	USA
(19 SAT, 45 UNSAT, 36 UNKNOWN)
139464p0neg.aig.smv.kinduction_bound_20	SAT	10	31	4
139464p23.aig.smv.kinduction_bound_20	SAT	10	31	4
139464p24.aig.smv.kinduction_bound_20	SAT	9	30	5
AProVE07-25	UNKNOWN	---	---	---
AProVE07-27	UNKNOWN	---	---	---
bjrb07amba9andenv	UNKNOWN	---	---	---
countbits1024	UNKNOWN	---	---	---
countbits512	UNKNOWN	---	---	---
countbitssrl256	UNKNOWN	---	---	---
cube-11-h14-sat	UNKNOWN	---	---	---
cvs_vc81759	UNSAT	52	3	724
cvs_vc81760	UNSAT	52	3	723
dated-10-11-u	UNSAT	---	---	---
dated-10-15-u	UNSAT	16	40	38
dated-10-17-s	SAT	13	115	13
dated-10-17-u	UNSAT	---	---	---
dspam_dump_vc1080	UNSAT	2	8	2
dspam_dump_vc1104	UNSAT	7	23	40
dspam_dump_vc950	UNSAT	2	8	36
eijk.S298.S	UNSAT	7	25	5
eijk.S713.S.aig_bound_50	UNSAT	11	15	24
eijk.S832.S	UNSAT	0	0	0
eijkbs3271	UNKNOWN	---	---	---
eijkbs3330	UNKNOWN	---	---	---
eijkS5378	UNSAT	248	216	142
emptyroom-4-h21-unsat	UNSAT	293	269	371
g9x9.sat_opt	SAT	0	0	0
ibm20_len44_sat	SAT	19	22	27
ibm29_len26_sat	SAT	4	5	9
ii8d1.sat_nonopt	SAT	---	36	558
intel_004.aig.smv.kinduction_bound_30	UNSAT	0	4	30
intel_016.aig.smv.kinduction_bound_20	SAT	10	25	4
intel_025.aig.smv.kinduction_bound_30	SAT	8	25	4
intel_030.aig.smv.kinduction_bound_20	SAT	52	586	20
intel_033.aig.smv.kinduction_bound_10	SAT	12	612	3
intel_037.aig.smv.kinduction_bound_30	SAT	161	---	20
intel_043.aig_bound_10	UNSAT	3	---	1
intel027	UNSAT	15	---	6
intel030	UNSAT	19	---	6
intel039	SAT	36	---	34
intel042	UNSAT	28	---	9
intel064	UNKNOWN	---	---	---
isqrt	UNSAT	200	120	195
lfsr_004_127_128	UNSAT	6	80	104
lfsr_008_015_112	UNKNOWN	---	---	---
lfsr_008_015_128	UNKNOWN	---	---	---
lfsr_008_031_128	UNKNOWN	---	---	---
lfsr_008_063_112	UNSAT	94	51	346
lfsr_008_159_064	UNSAT	20	173	224
lseu.unsat	UNSAT	24	33	39
manol-pipe-c7nidw	UNSAT	46	102	---
manol-pipe-f10ni	UNSAT	654	516	---
maxand256	UNKNOWN	---	---	---
maxxor064	UNKNOWN	---	---	---
maxxor256	UNKNOWN	---	---	---
mizh-sha0-36-2	SAT	83	---	---
mod008.unsat	UNSAT	0	0	0
mulhs64	UNKNOWN	---	---	---
neclaftp3002	SAT	126	39	20
nusmvqueue	UNSAT	---	390	252
p0548.sat_nonopt	UNKNOWN	---	---	---
p0548.undecided	UNKNOWN	---	---	---
par8-5-c.sat_opt	SAT	0	0	0
par8-5-c.unsat	UNSAT	0	0	0
partial-10-11-u	UNKNOWN	---	---	---
partial-10-13-s	UNKNOWN	---	---	---
partial-10-13-u	UNKNOWN	---	---	---
partial-10-17-s	UNKNOWN	---	---	---
pdtpmsheap	UNKNOWN	---	---	---
pdtpmstimeout	UNKNOWN	---	---	---
pdtvisns3p06	UNKNOWN	---	---	---
pdtvisns3p09	UNSAT	129	321	474
pdtvissoap2	UNSAT	266	237	304
pdtvistimeout0	UNKNOWN	---	---	---
problem_12	UNKNOWN	---	---	---
problem_7	SAT	---	602	790
prop08_len17_base	UNSAT	0	0	0
s4-4-3-1.unsat	UNSAT	0	1	0
seymour.undecided	UNKNOWN	---	---	---
simple_processors_006_003_0032	UNSAT	38	10	205
simple_processors_008_004_0032	UNSAT	769	36	---
simple_processors_008_006_0016	UNSAT	858	29	---
simple_processors_008_008_0016	UNSAT	---	84	---
smulov1bw48	UNKNOWN	---	---	---
smulov2bw384	UNSAT	37	162	---
sortnet-8-ipc5-h18-unsat	UNKNOWN	---	---	---
ssort14	UNKNOWN	---	---	---
ssort18	UNKNOWN	---	---	---
ssort19	UNKNOWN	---	---	---
ssort6	UNSAT	19	40	546
ssort8	UNSAT	783	680	---
stein27.sat_opt	SAT	0	0	0
total-10-11-u	UNSAT	30	124	106
umulov1bw160	UNSAT	37	52	217
umulov1bw224	UNSAT	187	---	---
uts-l06-ipc5-h28-unknown	UNSAT	11	58	56
vis.prodcell^19.E	UNSAT	1	5	1
VS3-benchmark-A10	UNKNOWN	---	---	---
VS3-benchmark-A12	UNKNOWN	---	---	---
Y86_std	UNSAT	47	104	655
#Solved:		58	54	53
#Solved SAT/UNSAT:		17/41	16/38	18/35
Total time for solved instances (in sec.):		5564	6181	7396
Average time per solved instance (in sec.):		95.93	114.47	139.55
Rank:		1	2	3